Diophantine sets of polynomials over finitely generated fields in characteristic zero
نویسنده
چکیده
Let R be a recursive noetherian integral domain of characteristic zero with fraction field K. Assume that K is finitely generated (as a field) over Q. Equivalently, assume that K is the function field of a variety over a number field. We show that recursively enumerable sets are diophantine for the polynomial ring R[Z]. 2000 MSC: 11D99 (primary), 03D25, 12L12, 11R58, 12E10 (secondary).
منابع مشابه
Diophantine undecidability of function fields of characteristic greater than 2, finitely generated over fields algebraic over a finite field
Let F be a function field of characteristic p > 2, finitely generated over a field C algebraic over a finite field Cp and such that it has an extension of degree p. Then Hilbert’s Tenth Problem is not decidable over F .
متن کاملThe Diophantine Problem for Polynomial Rings and Fields of Rational Functions1
We prove that the diophantine problem for a ring of polynomials over an integral domain of characteristic zero or for a field of rational functions over a formally real field is unsolvable.
متن کاملCharacteristic set method for differential-difference polynomial systems
In this paper, we present a characteristic set method for mixed differential and difference polynomial systems. We introduce the concepts of coherent, regular, proper irreducible, and strongly irreducible ascending chains and study their properties. We give an algorithm which can be used to decompose the zero set for a finitely generated differential and difference polynomial sets into the unio...
متن کاملDiophantine Sets of Polynomials over Number Fields
Let R be a number field or a recursive subring of a number field and consider the polynomial ring R[T ]. We show that the set of polynomials with integer coefficients is diophantine over R[T ]. Applying a result by Denef, this implies that every recursively enumerable subset of R[T ]k is diophantine over R[T ].
متن کاملOn Regularity of Acts
In this article we give a characterization of monoids for which torsion freeness, ((principal) weak, strong) flatness, equalizer flatness or Condition (E) of finitely generated and (mono) cyclic acts and Condition (P) of finitely generated and cyclic acts implies regularity. A characterization of monoids for which all (finitely generated, (mono) cyclic acts are regular will be given too. We als...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008